Mathematics and Computing - PDFSEARCH.IO - Document Search Engine

Mathematics and Computing
Results: 2535

#	Item
371	Optimal Capacity Sharing of Networks with Multiple Overlays Zheng Ma∗ , Jiang Chen∗ , Yang Richard Yang∗ and Arvind Krishnamurthy† ∗ Department of Computer Science Add to Reading List Source URL: www-net.cs.yale.edu Language: English - Date: 2006-06-12 11:14:33 Graph theory Network flow Distributed computing architecture Network architecture Overlay network Peer-to-peer Maximum flow problem Network congestion Shortest path problem Mathematics Operations research Applied mathematics
372	Quantum Computing and Cryptography Spring Semester 2011 Steve Vickers The University of Birmingham School of Computer Science Add to Reading List Source URL: www.cs.bham.ac.uk Language: English - Date: 2011-03-23 04:16:10 Electronic commerce Integer factorization algorithms RSA Prime number Modular arithmetic Coprime Euclidean algorithm Greatest common divisor Cryptography Mathematics Public-key cryptography
373	THE UNIVERSITY OF AKRON Mathematics and Computer Science Using LATEX to Create Quality PDF Documents for the World Wide Web Directory Add to Reading List Source URL: www.math.uakron.edu Language: English - Date: 2002-04-05 21:59:11 Digital typography TeX Typesetting PostScript Dvips Device independent file format PostScript fonts PGF/TikZ Pkfix Application software Computing Typography
374	Symbolic Crosschecking of Floating-Point and SIMD Code Peter Collingbourne, Cristian Cadar, Paul H J Kelly Department of Computing, Imperial College London 4 November, 2010 Add to Reading List Source URL: www.llvm.org Language: English - Date: 2010-11-17 01:55:50 C programming language Cross-platform software Elementary mathematics C++ Sizeof SIMD C Function Array programming Computer programming Computing Software engineering
375	EnerJ: Approximate Data Types for Safe and General Low-Power Computation Adrian Sampson Werner Dietl Emily Fortuna Add to Reading List Source URL: homes.cs.washington.edu Language: English - Date: 2011-05-12 02:38:08 Mathematics Numerical analysis Data types Computer arithmetic Computational complexity theory Floating point Algorithm Dynamic random-access memory Approximation Computer memory Theoretical computer science Computing
376	Information and Software Technology–1439 Contents lists available at ScienceDirect Information and Software Technology journal homepage: www.elsevier.com/locate/infsof Add to Reading List Source URL: welf.se Language: English - Date: 2013-04-23 05:49:36 Mathematics Data-flow analysis 0.999... Static single assignment form Call graph Linked list Object Graph Abstraction Compiler construction Software engineering Computing
377	Investments and Trade-offs in the Economics of Information Security Presentation and Suggestions for Future Directions Christos Ioannidis1 1 School Add to Reading List Source URL: www.ifca.ai Language: English - Date: 2009-03-05 11:07:09 Mathematical model Mathematical modeling Computer hardware Preference Hewlett-Packard Mathematical optimization Economic model Mathematics Computing Collective intelligence
378	JOHN GUSTAFSON EDUCATION B.S. (Junein Applied Mathematics, with Honors California Institute of Technology, Pasadena, California, P. G. Saffman, advisor Applied Physics second major 1973–1976, J. R. Pierce, advis Add to Reading List Source URL: johngustafson.net Language: English - Date: 2013-02-26 21:39:46 John Gustafson High Productivity Computing Systems High-performance computing Atanasoff–Berry Computer NCUBE Distributed computing Supercomputer ClearSpeed International Parallel and Distributed Processing Symposium Computing Concurrent computing Parallel computing
379	Advanced Scientific Computing Research FY 2004 Accomplishment Fast Volume Integration Based on the Pre-Corrected FFT L. J. Gray, Oak Ridge National Laboratory Jian Ding and Wenjing Ye, Georgia Institute of Technology Add to Reading List Source URL: www.csm.ornl.gov Language: English* - Date: 2006-06-16 09:47:05 Digital signal processing Integral Fast Fourier transform Gaussian quadrature Partial differential equation Boundary element method Mathematical analysis Mathematics Numerical integration
380	SSDL: overview Goal: Improving the quality of systems and software Means: Add to Reading List Source URL: www.cs.technion.ac.il Language: English - Date: 2012-08-09 05:02:19 Model checking Formal verification Software engineering Programming language Software development process Science Computing Formal methods SOAP Service Description Language Applied mathematics

UPDATE